I bumped my local Kotlin version to 1.4 to avoid the error here ...available since Kotlin 1.4 and cannot be used in Kotlin 1.3 but the error has nothing to do with a change in this PR.

@ice1000 , does master builds for you with 1.3 ?

I bumped my local Kotlin version to 1.4 to avoid the error here ...available since Kotlin 1.4 and cannot be used in Kotlin 1.3 but the error has nothing to do with a change in this PR.

@ice1000 , does master builds for you with 1.3 ?

Idk, I haven't built this for a while

This PR LGTM so far

For whatever it's worth, my changes to the build

  kotlin("jvm") version "1.4.31"
  ...
  setPlugins("PsiViewer:211-SNAPSHOT", "java")
 ...
	kotlinOptions {
		jvmTarget = "1.8"
		languageVersion = "1.4"
		apiVersion = "1.4"
		...
	}